<HTML><HEAD><TITLE>ColgenInstance:(?X >= ?Y)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(colgen)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>ColgenInstance:(?X >= ?Y)</H1>
Constrains X to be greater than or equal to Y.
<DL>
<DT><EM>X</EM></DT>
<DD>Partial linear expression
</DD>
<DT><EM>Y</EM></DT>
<DD>Partial linear expression
</DD>
</DL>
<H2>Description</H2>
	Logically: Constrains X to be greater than or equal to Y. X
	and Y are partial linear expressions. Partial linear
	expressions may contain terms of the form
	<TT>implicit_sum(+Var)</TT> in addition to any terms allowed
	within a standard linear expression. Variables occurring
	inside <TT>implicit_sum/1</TT> terms are taken to be
	subproblem variables whose instantiation will correspond to
	the coefficient of a generated master problem variable in this
	constraint. Operationally, the constraint gets delayed until
	the external solver state for ColgenInstance is invoked.
<H2>See Also</H2>
<A HREF="../../lib/colgen/ENE-2.html">=:= / 2</A>, <A HREF="../../lib/colgen/EL-2.html">=< / 2</A>, <A HREF="../../lib/colgen/SE-2.html">$= / 2</A>, <A HREF="../../lib/colgen/SEL-2.html">$=< / 2</A>, <A HREF="../../lib/colgen/SGE-2.html">$>= / 2</A>, <A HREF="../../lib/colgen/var_get-3.html">var_get / 3</A>
</BODY></HTML>
